A Formal TLS Handshake Model in LNT

Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These faults have their roots in the software development cycle or because of intrinsic leaks in the system specification. Conformance testing checks whether a system behaves according to its specification. Here model-based testing provides several methods for automated detection of shortcomings. The formal specification of a system behavior represents the starting point of the testing process. In this paper, a widely used cryptographic protocol is specified and tested for conformance with a test execution framework. The first empirical results are presented and discussed.Comment: In Proceedings MARS/VPT 2018, arXiv:1803.0866

Circulating sST2 and catestatin levels in patients with acute worsening of heart failure: a report from the CATSTAT‐HF study

n/

SGLT2 inhibitors and the risk of urinary tract infections in patients with heart failure: A pooled analysis examining safety endpoints

n/

Carbohydrate Antigen 125: A Biomarker at the Crossroads of Congestion and Inflammation in Heart Failure

Because heart failure (HF) is more lethal than some of the common malignancies in the general population, such as prostate cancer in men and breast cancer in women, there is a need for a cost-effective prognostic biomarker in HF beyond natriuretic peptides, especially concerning congestion, the most common reason for the hospitalisation of patients with worsening of HF. Furthermore, despite diuretics being the mainstay of treatment for volume overload in HF patients, no randomised trials have shown the mortality benefits of diuretics in HF patients, and appropriate diuretic titration strategies in this population are unclear. Recently, carbohydrate antigen (CA) 125, a well-established marker of ovarian cancer, emerged as both a prognostic indicator and a guide in tailoring decongestion therapy for patients with HF. Hence, in this review the authors present the molecular background regarding the role of CA125 in HF and address valuable clinical aspects regarding the relationship of CA125 with both prognosis and therapeutic management in HF

Sympathetic nervous system activation and heart failure: Current state of evidence and the pathophysiology in the light of novel biomarkers

Heart failure (HF) is a complex clinical syndrome characterized by the activation of at least several neurohumoral pathways that have a common role in maintaining cardiac output and adequate perfusion pressure of target organs and tissues. The sympathetic nervous system (SNS) is upregulated in HF as evident in dysfunctional baroreceptor and chemoreceptor reflexes, circulating and neuronal catecholamine spillover, attenuated parasympathetic response, and augmented sympathetic outflow to the heart, kidneys and skeletal muscles. When these sympathoexcitatory effects on the cardiovascular system are sustained chronically they initiate the vicious circle of HF progression and become associated with cardiomyocyte apoptosis, maladaptive ventricular and vascular remodeling, arrhythmogenesis, and poor prognosis in patients with HF. These detrimental effects of SNS activity on outcomes in HF warrant adequate diagnostic and treatment modalities. Therefore, this review summarizes basic physiological concepts about the interaction of SNS with the cardiovascular system and highlights key pathophysiological mechanisms of SNS derangement in HF. Finally, special emphasis in this review is placed on the integrative and up-to-date overview of diagnostic modalities such as SNS imaging methods and novel laboratory biomarkers that could aid in the assessment of the degree of SNS activation and provide reliable prognostic information among patients with HF

Sympathetic nervous system activation and heart failure: Current state of evidence and the pathophysiology in the light of novel biomarkers

Heart failure (HF) is a complex clinical syndrome characterized by the activation of at least several neurohumoral pathways that have a common role in maintaining cardiac output and adequate perfusion pressure of target organs and tissues. The sympathetic nervous system (SNS) is upregulated in HF as evident in dysfunctional baroreceptor and chemoreceptor reflexes, circulating and neuronal catecholamine spillover, attenuated parasympathetic response, and augmented sympathetic outflow to the heart, kidneys and skeletal muscles. When these sympathoexcitatory effects on the cardiovascular system are sustained chronically they initiate the vicious circle of HF progression and become associated with cardiomyocyte apoptosis, maladaptive ventricular and vascular remodeling, arrhythmogenesis, and poor prognosis in patients with HF. These detrimental effects of SNS activity on outcomes in HF warrant adequate diagnostic and treatment modalities. Therefore, this review summarizes basic physiological concepts about the interaction of SNS with the cardiovascular system and highlights key pathophysiological mechanisms of SNS derangement in HF. Finally, special emphasis in this review is placed on the integrative and up-to-date overview of diagnostic modalities such as SNS imaging methods and novel laboratory biomarkers that could aid in the assessment of the degree of SNS activation and provide reliable prognostic information among patients with HF

Visualizing properties of a quadratic function using Torricelli’S fountain

In the same chapter of his book Opera geometrica, Torricelli published1 two discoveries: 1) initial velocity of a jet from a container increases with the square root of the depth of the hole¸ 2) he draw the pattern of jets from three openings at the wall of a container filled with water to constant level H and determined the height of the hole with maximal range. In studying the pattern Torricelli used the mentioned law of initial velocities and Galileo’s law of free fall and projectile motion. The first Torricelli’s discovery is now well known in physics education under the name Torricelli’s law. But the pattern of jets from a container entered into physics literature along two ways, which we propose to name: “da Vinci’s way” and “Torricelli’s way”. Along “da Vinci’s way” educators and textbook authors (Ref. 2 and textbooks and articles cited by Biser3 and Atkin4) present incorrect drawings of jets in order to incorrectly “demonstrate”the correct Torricelli’s law. Along “Torricelli’s way” educators point out3-11 that the shape and range of a jet depend on the initial velocity as well as on the time of flight of a jet. Using algebra and calculus (instead of geometry, proportions and narrative used by Torricelli and Galileo) the shape of trajectories, their envelope, range and meeting of two jets at an arbitrary datum level, are determined by quadratic function and quadratic equation. Their detailed mathematical analysis is presented in this paper. In describing how the use of water and air through time has developed our scientific understanding, and how to bring fluid mechanics to the general public, E. Guyon and M. Guyon12 observed: “Water fountains and jets are still being built and are favorite public attractions but, alas, are seldom connected to their scientific meaning, unlike the Torricelli fountain shown in Fig. 1.

Chronic Effects of Effective Oral Cannabidiol Delivery on 24-h Ambulatory Blood Pressure and Vascular Outcomes in Treated and Untreated Hypertension (HYPER-H21-4): Study Protocol for a Randomized, Placebo-Controlled, and Crossover Study

Accumulating data from both human and animal studies suggest that cannabidiol (CBD) may be associated with improved cardiovascular function, markedly with regard to reduction in blood pressure and improved endothelial function. However, there is a lack of randomized studies to support these notions, especially in at-risk populations. The principal aim of this randomized, placebo-controlled, and crossover study is to examine the influence of chronic CBD administration on 24-h blood pressure in individuals with mild or moderate hypertension who are either untreated or receiving standard care therapy. The secondary aims of the study are to determine the safety and tolerability of 5 weeks of CBD administration, and to quantify the effect on arterial stiffness, CBD and vascular health biomarkers, inflammation, heart rate variability, and psychological well-being in both groups of patients. The present single-center study is designed as a triple blind (Participant, Investigator, Outcomes Assessor), placebo-controlled, crossover pilot study in which 70 hypertensive volunteers (aged 40–70 years) will receive DehydraTECH2.0 CBD formulation and placebo in a crossover manner. We believe that comprehensive analyses that will be performed in the present trial will decipher whether CBD is in fact a safe and valuable supplement for patients with treated and untreated hypertension

Serum Catestatin Concentrations Are Increased in Patients with Atrial Fibrillation

The autonomic nervous system is crucial in initiating and maintaining atrial fibrillation (AF). Catestatin is a multipurpose peptide that regulates cardiovascular systems and reduces harmful, excessive activity of the sympathetic nervous system by blocking the release of catecholamines. We aimed to determine whether serum catestatin concentrations are associated with AF severity, duration indices, and various clinical and laboratory indicators in these individuals to better define the clinical value of catestatin in patients with AF. The present single center study enrolled 73 participants with AF and 72 healthy age-matched controls. Serum catestatin concentrations were markedly higher in AF patients than controls (14.11 (10.21–26.02) ng/mL vs. 10.93 (5.70–20.01) ng/mL, p = 0.013). Furthermore, patients with a more severe form of AF had significantly higher serum catestatin (17.56 (12.80–40.35) vs. 10.98 (8.38–20.91) ng/mL, p = 0.001). Patients with higher CHA2DS2-VASc scores (17.58 (11.89–37.87) vs. 13.02 (8.47–22.75) ng/mL, p = 0.034) and higher NT-proBNP levels (17.58 (IQR 13.91–34.62) vs. 13.23 (IQR 9.04–22.61), p = 0.036) had significantly higher serum catestatin concentrations. Finally, AF duration correlated negatively with serum catestatin levels (r = −0.348, p = 0.003). The results of the present study implicate the promising role of catestatin in the intricate pathophysiology of AF, which should be explored in future research

Can Fasting Curb the Metabolic Syndrome Epidemic?

Metabolic syndrome (MetS) represents a cluster of metabolic abnormalities that includes hypertension, central obesity, insulin resistance, and atherogenic dyslipidemia. Due to the high prevalence (around 1/3 of the world population) economic burden of MetS, there is a need for new dietary, lifestyle, and therapeutic options. Recently, fasting emerged as a dietary method proposed for controlling metabolic risk factors. Intermittent fasting (IF), or time-restricted feeding (TRF), describes an array of feeding patterns in which calorie intake is restricted to a specific time period. Hence, this review aimed to elucidate the latest data on MetS and explore the viability of simple management options, such as IF and TRF. Preclinical studies have shown how IF/TRF exerts beneficial effects on the gut microbiota, glucose and insulin metabolism, weight and visceral fat, and lipid metabolism. However, the results obtained from human studies are somewhat conflicting, as weight loss was achieved in all studies, whereas in some studies, there was no significant effect on insulin resistance, cholesterol/lipid metabolism, or blood pressure. Nevertheless, as only very few human studies were performed, there is a need for more randomized control trials on larger cohorts of patients with MetS to gather higher-yield evidence to clarify whether IF/TRF are suitable dietary patterns for this population